In[]:=
ResourceFunction["TokenEventGraph"][{{0}->{1},{1}->{0}},{0},2]
Out[]=

When there are all rules, e.g. up to a given size ... what happens?

What is a causal relation?

What gets ingested in each event
In[]:=
ResourceFunction["MultiwaySystem"][{{0}->{1},{1}->{0}},{{0,0,0}},6,"StatesGraph"]
Out[]=
In[]:=
Flatten@Outer[Rule,Tuples[{1,0},2],Tuples[{1,0},2],1]
Out[]=
{{1,1}{1,1},{1,1}{1,0},{1,1}{0,1},{1,1}{0,0},{1,0}{1,1},{1,0}{1,0},{1,0}{0,1},{1,0}{0,0},{0,1}{1,1},{0,1}{1,0},{0,1}{0,1},{0,1}{0,0},{0,0}{1,1},{0,0}{1,0},{0,0}{0,1},{0,0}{0,0}}
In[]:=
ResourceFunction["MultiwaySystem"][Join[{{0}->{1},{1}->{0}},Flatten@Outer[Rule,Tuples[{1,0},2],Tuples[{1,0},2],1]],{{0,0,0}},5,"StatesGraph"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][Join[{{0}->{1},{1}->{0}},Flatten@Outer[Rule,Tuples[{1,0},2],Tuples[{1,0},2],1]],{{0,0,0,0}},6,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][Flatten[Table[Outer[Rule,Tuples[{1,0},p],Tuples[{1,0},p],1],{p,1}]],{{0,0,0,0}},6,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][Flatten[Table[Outer[Rule,Tuples[{1,0},p],Tuples[{1,0},p],1],{p,2}]],{{0,0,0,0}},6,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][Flatten[Table[Outer[Rule,Tuples[{1,0},p],Tuples[{1,0},p],1],{p,3}]],{{0,0,0,0}},6,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][Flatten[Table[Outer[Rule,Tuples[{1,0},p],Tuples[{1,0},p],1],{p,3}]],{{0,0,0}},6,"StatesGraphStructure"]

WM Rulial MWs

Numerical Case

Plot the size of the reachability ball starting from a given initial state.....

Role of canonicalization of states?